A nonfactorial algorithm for testing isomorphism of two graphs
نویسندگان
چکیده
منابع مشابه
Algorithm and Experiments in Testing Planar Graphs for Isomorphism
We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQR-trees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determine the conditions in which the implemented algorithm outperforms other graph matchers, which do n...
متن کاملIsomorphism testing for circulant graphs
In this paper we focus on connected directed/undirected circulant graphs Cn(a, b). We investigate some topological characteristics, and define a simple combinatorial model, which is new for the topic. Building on such a model, we derive a necessary and sufficient condition to test whether two circulant graphs Cn(a, b) and Cn(a , b) are isomorphic or not. The method is entirely elementary and co...
متن کاملFast Algorithm for Graph Isomorphism Testing
In this paper we present a novel approach to the graph isomorphism problem. We combine a direct approach, that tries to find a mapping between the two input graphs using backtracking, with a (possibly partial) automorphism precomputing that allows to prune the search tree. We propose an algorithm, conauto, that has a space complexity of O(n log n) bits. It runs in time O(n) with high probabilit...
متن کاملPolynomial Time Algorithm for Graph Isomorphism Testing
Earlier we introduced (M.I.Trofimov, E.A.Smolenskii, Application of the Electronegativity Indices of Organic Molecules to Tasks of Chemical Informatics, Russian Chemical Bulletin 54(2005), 2235-2246. http://dx.doi.org/10.1007/s11172-006-0105-6) effective recursive algorithm for graph isomorphism testing. In this paper we describe used approach and iterative modification of this algorithm, which...
متن کاملConceptual Graphs Isomorphism: Algorithm and Use
The isomorphism problem is neither known to be NP-complete nor polynomial. Yet it is crucial for managing large conceptual graph sets. In order to speed up the conceptual graph isomorphism test, we associate to graphs a textual code that is invariant under isomorphism: a structural or ltering code. The structural code of a given graph is based on the computation by a structural function of an i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Applied Mathematics
سال: 1983
ISSN: 0166-218X
DOI: 10.1016/0166-218x(83)90078-1